Event-Based Modularization of Reactive Systems
نویسندگان
چکیده
There is a large number of complex software systems that have reactive behavior. As for any other software system, reactive systems are subject to evolution demands. This paper defines a set requirements that must be fulfilled so that reuse of reactive software systems can be increased. Detailed analysis of a set of representative languages reveals that these requirements are not completely fulfilled by the current programming languages and as such reuse of reactive systems remains a challenge. This paper explains Event Composition Model and its implementation the EventReactor language, which fulfill the requirements. By means of an example, the suitability of the EventReactor language in creating reusable reactive systems is illustrated.
منابع مشابه
Towards Modularization and Composition in Distributed Event Based Systems
A distributed and interface-based publish/subscribe system is proposed in this report. Components in the proposed system react with each other via events only, and these reactions are described in the component interfaces using a variation of Harel statecharts. By encapsulating component behaviour within the interfaces, the goal of the system is to allow the study of modularization and composit...
متن کاملWorkshop on Modularization, Composition, and Generative Techniques for Product Line Engineering
Event-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specif...
متن کاملSupporting Reuse in Event B Development: Modularisation Approach
Recently, Space Systems Finland has undertaken formal Event B development of a part of on-board software for the BepiColombo space mission. As a result, lack of modularization mechanisms in Event B has been identified as a serious obstacle to scalability. One of the main benefits of modularization is that it allows us to decompose system models into components that can be independently develope...
متن کاملLoss of Excitation Detection in Doubly Fed Induction Generator by Voltage and Reactive Power Rate
The doubly fed induction generator (DFIG) is one of the most popular technologies used in wind power systems. With the growing use of DFIGs and increasing power system dependence on them in recent years, protecting of these generators against internal faults is more considered. Loss of excitation (LOE) event is among the most frequent failures in electric generators. However, LOE detection stud...
متن کاملSpecial issue on foundations of aspect-oriented programming
This SCP special collects articles that make contributions to the foundations of aspectoriented programming (AOP). Aspects have been developed over the last 10 years to facilitate the modularization of crosscutting concerns, i.e., concerns that crosscut with the primary modularization of a program. This special issue further continues the efforts of the annual FOAL workshop (Foundations of Aspe...
متن کامل